definite integral from 0 to 1 of pi*(square root( hyperbolic cosine of 5x)^2) dx